diff options
-rwxr-xr-x | INSTALL | 4 | ||||
-rwxr-xr-x | bin/quote1 (renamed from bin/") | 0 | ||||
-rwxr-xr-x | bin/quote2 (renamed from bin/"") | 0 |
3 files changed, 4 insertions, 0 deletions
@@ -170,6 +170,10 @@ if $dobuild; then echo " " echo "* Warning: not all binaries built successfully." fi + if [ -f bin/quote1 ]; then + cp bin/quote1 'bin/"' + cp bin/quote2 'bin/""' + fi echo "* Cleaning up..." mk clean fi |