build.post-dist for execution of commands after build

[mir.git] / build.sh-dist

diff --git a/build.sh-dist b/build.sh-dist
index 99b03bb..93bc2ac 100755 (executable)
--- a/build.sh-dist
+++ b/build.sh-dist
@@ -1,10 +1,6 @@
 #!/bin/sh
 # build.sh -- the build-script for Mir
 
-# The path to ANT
-ANT_HOME=/usr/share/ant/lib    # use own ant
-#ANT_HOME=LIB_HOME             # use mir-ant
-
 # Identify the custom class path components we need
 JAVA_HOME=/usr/lib/j2sdk1.3/
 
@@ -28,7 +24,23 @@ CP=$CP:$LIB_HOME/jai_codec.jar
 CP=$CP:$LIB_HOME/jai_core.jar
 CP=$CP:$JAVA_HOME/lib/tools.jar
 CP=$CP:$JAVA_HOME/lib/rt.jar
+CP=$CP:$LIB_HOME/strutsmesg.jar
+
+# The path to ANT
+#ANT_HOME=/usr/share/ant/lib    # use own ant
+ANT_HOME=LIB_HOME             # use mir-ant
+
 
 # Execute ANT to perform the requested build target
 $JAVA_HOME/bin/java -classpath $CP:$CLASSPATH org.apache.tools.ant.Main \
   -Dtomcat.home=$TOMCAT_HOME "$@"
+
+
+#
+# execute postbuild script if present
+
+if [ -f ./build.post ]; then
+          echo "Executing build.post"
+         sh build.post
+fi
+