fix packaging script
@@ -5,6 +5,6 @@ cp -R k-distribution/target/release/k/* $DESTDIR$PREFIX/lib/kframework
for tool in k-bin-to-text kast kbmc kcovr kdep keq kompile kprove krun kserver stop-kserver; do
path=$DESTDIR$PREFIX/bin/$tool
echo "#!/bin/sh" > "$path"
- echo "$PREFIX/lib/kframework/bin/$tool \"\$@\"" > "$path"
+ echo "$PREFIX/lib/kframework/bin/$tool \"\$@\"" >> "$path"
chmod a+x "$path"
done
