diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -1,6 +1,6 @@ #!/bin/sh -cat >$$ <<EOF +cat <<EOF No way, Jose. Use 'make help' to see what you can do. @@ -9,6 +9,3 @@ Use the make of your platform, be it 'make', 'gmake', 'bmake', 'nmake', ... ...whatever... EOF - -cat $$ -rm -f $$ |