docker-images/anna-build-nodb/deps/build.sh

   1 #!/bin/sh
   2 if [ -x ./`basename $0` ]
   3 then
   4    exec ./`basename $0` $@
   5 else
   6    cmake -DSKIP_DATABASE_BUILD=1 $@ .
   7    make -j `grep processor /proc/cpuinfo | wc -l` $2
   8    make doc
   9 fi
  10 exit $?