etc/ci.sh: compile browse package to test gac

gap-system · Apr 25, 2017 · 788317a · 788317a
1 parent 1c1c182
commit 788317a
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/etc/ci.sh b/etc/ci.sh
@@ -78,6 +78,13 @@ cd profiling
 ./autogen.sh
 ./configure $CONFIGFLAGS --with-gaproot=$BUILDDIR
 make V=1
+cd ..
+
+# Compile browse package to test gac
+cd Browse
+./configure $BUILDDIR
+make
+cd ..
 
 # return to base directory
 popd