@ 260915.5

250428.1 · c4c9fa0e0d035223369588d8db63a082a8d0f289

released 7.4.2

reading declarations

Changes to build.sh. All files

build.sh

@@ -36,7 +36,7 @@ exit 1 fi  echo-echo "make -j clean all"+echo "make clean all" echo  make clean