]> git.saurik.com Git - wxWidgets.git/commitdiff
a small script to regenerate makefiles without running configure
authorVadim Zeitlin <vadim@wxwidgets.org>
Wed, 15 Dec 1999 17:06:32 +0000 (17:06 +0000)
committerVadim Zeitlin <vadim@wxwidgets.org>
Wed, 15 Dec 1999 17:06:32 +0000 (17:06 +0000)
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@4964 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

regen [new file with mode: 0755]

diff --git a/regen b/regen
new file mode 100755 (executable)
index 0000000..0d89468
--- /dev/null
+++ b/regen
@@ -0,0 +1,18 @@
+#!/bin/sh
+#
+# regenerates the file given as command line argument by running config.status
+# (the file is supposed to be generated by configure script)
+#
+# Version: $Id$
+# Author:  VZ
+################################################################################
+
+if test "x$1" = "x"; then
+    echo "Usage: $0 file_to_regenerate" >&2
+    exit 1
+fi
+
+export CONFIG_FILES=$1
+export CONFIG_HEADERS=
+./config.status
+exit $?