diff options
Diffstat (limited to 'util/reconf')
-rwxr-xr-x | util/reconf | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/util/reconf b/util/reconf deleted file mode 100755 index f10f3ea..0000000 --- a/util/reconf +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -force= - -usage="Usage: ./config.status [--recheck] [--version] [--help]" -for option -do - case "$option" in - --force | -f) - echo "Remaking all configuration files" - force=--force ;; - -help | --help | --hel | --he | --h) - echo "$usage"; exit 0 ;; - *) echo "$usage"; exit 1 ;; - esac -done - -./util/autoconf/autoreconf -m util/autoconf -l . --verbose $force |