diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 972b07b43..b843c154b 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -30,7 +30,7 @@ clean_up() { trap clean_up EXIT echo "Copying and stripping pandoc binary" -cp "$BINPATH/pandoc" "$ARTIFACTS/pandoc" +cp "$BINPATH" "$ARTIFACTS/pandoc" strip "$ARTIFACTS/pandoc" echo "Checking that the binary is statically linked..." |