take 13

diff --git a/build.sh b/build.sh
index 2afc0cb54adbb4cb7de5a232b687253f926d20b1..268fa3857f669f3df8278f1fdba9aa738deaeb1f 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-# devel/test take 12
+# devel/test take 13
 
 SCRIPT_FILE=$(readlink -f $0)
 SCRIPT_DIR=$(dirname $SCRIPT_FILE)