take 12

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