summaryrefslogtreecommitdiffstats
path: root/configure.gnu
diff options
context:
space:
mode:
authorMichele Calgaro <michele.calgaro@yahoo.it>2025-02-09 22:28:07 +0900
committerMichele Calgaro <michele.calgaro@yahoo.it>2025-02-13 11:44:42 +0900
commitf8f4457460bc1dde2f6dd472d781dc11a57ed18b (patch)
treec793fae389bf84d014d51ca1183adb343505e29e /configure.gnu
parent5b02649a93d00e9f10f9161d655ca371ed3484d1 (diff)
downloadksquirrel-f8f44574.tar.gz
ksquirrel-f8f44574.zip
Remove unnecessary files
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it> (cherry picked from commit e6ea2348a20b3750da115d24975a618b05dd5f0e)
Diffstat (limited to 'configure.gnu')
-rwxr-xr-xconfigure.gnu7
1 files changed, 0 insertions, 7 deletions
diff --git a/configure.gnu b/configure.gnu
deleted file mode 100755
index 925dc44..0000000
--- a/configure.gnu
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-par="--without-arts"
-
-echo "*** Doing configure $* $par ..."
-
-./configure $* $par \ No newline at end of file