From 5f85693d51671539c0f0ecd02250aeebe9a3f0bd Mon Sep 17 00:00:00 2001 From: richard Date: Thu, 19 Nov 2009 06:49:19 +0100 Subject: [PATCH] Updated build script to compile plugin itself. --- build.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/build.sh b/build.sh index ee06759..038b081 100644 --- a/build.sh +++ b/build.sh @@ -55,10 +55,15 @@ fi mkdir -p $RELEASEDIR +# Clean and compile plugin. +make clean +make + + # Check if the plugin is built. if [ ! -e $BUILDDIR/$PLUGINFILE ] then - echo "Cannot build release package, plugin is not built. Missing file '$BUILDDIR/$PLUGINFILE'." + echo "Cannot build release package, plugin build failed. Missing file '$BUILDDIR/$PLUGINFILE'." exit 1 fi