diff options
-rwxr-xr-x | tools/setup | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/tools/setup b/tools/setup index 6f3fdee9..a90d48aa 100755 --- a/tools/setup +++ b/tools/setup | |||
@@ -18,20 +18,11 @@ else | |||
18 | echo Found GNU Make at $MAKE ... good. | 18 | echo Found GNU Make at $MAKE ... good. |
19 | fi | 19 | fi |
20 | 20 | ||
21 | # Refresh GNU autotools toolchain. | 21 | autopoint --force |
22 | for i in config.guess config.sub missing install-sh mkinstalldirs ; do | ||
23 | test -r /usr/share/automake/${i} && { | ||
24 | rm -f ${i} | ||
25 | cp /usr/share/automake/${i} . | ||
26 | } | ||
27 | chmod 755 ${i} | ||
28 | done | ||
29 | |||
30 | aclocal -I lib | 22 | aclocal -I lib |
31 | autoheader | 23 | autoheader |
32 | automake --add-missing --copy | 24 | automake --add-missing --force-missing |
33 | autoconf | 25 | autoconf |
34 | autopoint --force | ||
35 | 26 | ||
36 | if [ -f debian/rules ] ; then | 27 | if [ -f debian/rules ] ; then |
37 | chmod +x debian/rules | 28 | chmod +x debian/rules |