forked from len0rd/rockbox
Prevent configure from being run in the root of the tree, fix a typo in the configure script
Change-Id: I61205c2f00edbdcd726ca455a67c810fafe3ca92
This commit is contained in:
parent
0f34c51522
commit
74fc3efb60
1 changed files with 18 additions and 1 deletions
19
tools/configure
vendored
19
tools/configure
vendored
|
|
@ -1287,7 +1287,7 @@ fi
|
|||
echo Using temporary directory $tmpdir
|
||||
|
||||
if test -r "configure"; then
|
||||
# this is a check for a configure script in the current directory, it there
|
||||
# this is a check for a configure script in the current directory, if there
|
||||
# is one, try to figure out if it is this one!
|
||||
|
||||
if { grep "^# Jukebox" configure >/dev/null 2>&1 ; } then
|
||||
|
|
@ -1304,6 +1304,23 @@ if test -r "configure"; then
|
|||
fi
|
||||
fi
|
||||
|
||||
if test -r "tools/configure"; then
|
||||
# this is a check for a configure script in the tools/ directory, if there
|
||||
# is one, try to figure out if it is this one!
|
||||
|
||||
if { grep "^# Jukebox" tools/configure >/dev/null 2>&1 ; } then
|
||||
echo "WEEEEEEEEP. Don't run this configure script in the root of the tree."
|
||||
echo "It will only cause you pain and grief. Instead do this:"
|
||||
echo ""
|
||||
echo " mkdir build-dir"
|
||||
echo " cd build-dir"
|
||||
echo " ../tools/configure"
|
||||
echo ""
|
||||
echo "Much happiness will arise from this. Enjoy"
|
||||
exit 5
|
||||
fi
|
||||
fi
|
||||
|
||||
# get our current directory
|
||||
pwd=`pwd`;
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue