cheng/wxWidgets
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

a small script to regenerate makefiles without running configure

Browse Source 
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@4964 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Vadim Zeitlin 1999-12-15 17:06:32 +00:00
parent 3070bd9633
commit e7bcded47c
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
regen Executable file
View File

@ -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 $?