diff options
author | Miklos Szeredi <miklos@szeredi.hu> | 2004-11-11 10:33:58 +0000 |
---|---|---|
committer | Miklos Szeredi <miklos@szeredi.hu> | 2004-11-11 10:33:58 +0000 |
commit | 3a6ea06efab29198ba664945cec8296b7e1e356e (patch) | |
tree | 390cdfaafa43ac0201d8e54ee63fcc45fac07a20 /makeconf.sh | |
parent | 076136196276bf5cd898b7fc82d4ee0aeb8d7fde (diff) |
merge from 2_0_merge1 to 2_0_merge2
Diffstat (limited to 'makeconf.sh')
-rwxr-xr-x | makeconf.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/makeconf.sh b/makeconf.sh index 67357e3..34090e9 100755 --- a/makeconf.sh +++ b/makeconf.sh @@ -15,6 +15,14 @@ else autoconf echo Running automake... automake -a -c + ( + echo Entering directory: kernel + cd kernel + echo Running autoheader... + autoheader + echo Running autoconf... + autoconf + ) fi rm -f config.cache config.status |