diff options
Diffstat (limited to 'configure.gnu')
| -rwxr-xr-x | configure.gnu | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/configure.gnu b/configure.gnu deleted file mode 100755 index f85a525..0000000 --- a/configure.gnu +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -#par="--exec-prefix=/usr --prefix=/usr --libdir=/usr/lib/ksquirrel" -#par="--disable-rpath --prefix=/usr" - -echo "*** Doing configure $* $par ..." - -./configure $* $par |