From 04201dad0b4416a53fd2b51dcdd38b788e2773e1 Mon Sep 17 00:00:00 2001
From: PHO <pho@cielonegro.org>
Date: Thu, 14 Mar 2013 22:57:52 +0900
Subject: [PATCH] Build.rc.local

---
 Build.rc.local.example | 12 ++++++++++++
 Makefile               |  7 ++++++-
 src/resource.bash      |  6 +++++-
 3 files changed, 23 insertions(+), 2 deletions(-)
 create mode 100644 Build.rc.local.example

diff --git a/Build.rc.local.example b/Build.rc.local.example
new file mode 100644
index 0000000..495eaa7
--- /dev/null
+++ b/Build.rc.local.example
@@ -0,0 +1,12 @@
+# -*- sh -*-
+# -----------------------------------------------------------------------------
+# Additional configuration file for ./Build
+# -----------------------------------------------------------------------------
+#
+# Build.rc.local is purely optional. When it exists, it is evaluated
+# after Build.rc to allow overriding some configurations in Build.rc.
+#
+# Please note that it is unsafe to override some configurations,
+# namely "setPrefix" and "setPath", as they affect other variables in
+# a non-predictable way.
+#
diff --git a/Makefile b/Makefile
index 2260df7..0e487ff 100644
--- a/Makefile
+++ b/Makefile
@@ -14,12 +14,17 @@ clean:
 	rm -f Build Build.tmp
 
 Build: $(SOURCES)
+# Concatenate the source files to $@.tmp.
 	rm -f $@ $@.tmp
 	for i in $(SOURCES); do \
 		cat $$i >> $@.tmp; \
 		echo >> $@.tmp; \
 	done
-	head -q -n -1 $@.tmp > $@
+# Copy the content of $@.tmp to $@ except for the last line.
+	lines=`wc -l $@.tmp | awk '{print $$1}'` && \
+		lines=`expr $$lines - 1` && \
+		head -n $$lines $@.tmp > $@
+# Clean up.
 	rm -f $@.tmp
 	chmod a=rx $@
 
diff --git a/src/resource.bash b/src/resource.bash
index a050006..5ae60ef 100644
--- a/src/resource.bash
+++ b/src/resource.bash
@@ -5,6 +5,10 @@ setBuildTarget "all"
 setDocDirectory "."
 setDocTarget "all"
 
-if [ -f "Build.rc" ]; then
+if [[ -f "Build.rc" ]]; then
     . "Build.rc"
 fi
+
+if [[ -f "Build.rc.local" ]]; then
+    . "Build.rc.local"
+fi
-- 
2.40.0