diff options
author | Greg Hudson <ghudson@mit.edu> | 1997-09-14 17:50:06 +0000 |
---|---|---|
committer | Greg Hudson <ghudson@mit.edu> | 1997-09-14 17:50:06 +0000 |
commit | ac16f380e349fa39ec7e26bccb5456cb300006a5 (patch) | |
tree | c07ca88af97b4f6b77d28a2dc723d2e4621ed302 /util/reconf | |
parent | d33e482744fad80d95cdd89ed380c5b8401e49bf (diff) |
Pull in sources from zephyr locker. See /mit/zephyr/repository for
detailed change information.
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 |