From: Paolo Bonzini <bonzini@gnu.org>
Date: Thu, 2 Oct 2008 09:03:52 +0000 (+0200)
Subject: allow renaming bootstrap, and change the name of bootstrap.conf accordingly
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=29dd8b5548ce047ce51ff9a73d6c4b50c9886771;p=pspp

allow renaming bootstrap, and change the name of bootstrap.conf accordingly

2008-10-02  Paolo Bonzini  <bonzini@gnu.org>

	* build-aux/bootstrap: Allow renaming bootstrap, and change the
	name of bootstrap.conf accordingly.
---

diff --git a/ChangeLog b/ChangeLog
index 6ead2fe8e9..59e9bd044a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-02  Paolo Bonzini  <bonzini@gnu.org>
+
+	* build-aux/bootstrap: Allow renaming bootstrap, and change the
+	name of bootstrap.conf accordingly.
+
 2008-10-02  Paolo Bonzini  <bonzini@gnu.org>
 
 	* build-aux/bootstrap: Install git-merge-changelog configuration
diff --git a/build-aux/bootstrap b/build-aux/bootstrap
index 93fe859ef0..1134a65180 100755
--- a/build-aux/bootstrap
+++ b/build-aux/bootstrap
@@ -49,7 +49,7 @@ Options:
                           not to have been checked out.
  --skip-po                Do not download po files.
 
-If the file bootstrap.conf exists in the current working directory, its
+If the file $0.conf exists in the same directory as this script, its
 contents are read as shell variables to configure the bootstrap.
 
 Running without arguments will suffice in most cases.
@@ -146,7 +146,13 @@ copy=false
 vc_ignore=auto
 
 # Override the default configuration, if necessary.
-test -r bootstrap.conf && . ./bootstrap.conf
+# Make sure that bootstrap.conf is sourced from the current directory
+# if we were invoked as "sh bootstrap".
+case "$0" in
+  */*) test -r "$0.conf" && . "$0.conf" ;;
+  *) test -r "$0.conf" && . ./"$0.conf" ;;
+esac
+
 
 if test "$vc_ignore" = auto; then
   vc_ignore=