diff --git a/Jenkinsfile_numerics_mpi b/Jenkinsfile_numerics_mpi index 5a2d048dda6ad6b1ca1761110d71d71c6c21e31e..8fce3aae6f6d8e200d5896b7b6cad10c24427505 100644 --- a/Jenkinsfile_numerics_mpi +++ b/Jenkinsfile_numerics_mpi @@ -24,7 +24,7 @@ parallel ( stage ('build_centos') { - sh "./build.sh $WORKSPACE $NODE_NAME numerics 0" + sh "./build.sh $WORKSPACE $NODE_NAME numerics numerics 0" } stage ('run_gin') @@ -65,7 +65,7 @@ parallel ( stage ('build mac') { - sh "./build.sh $WORKSPACE $NODE_NAME numerics 0" + sh "./build.sh $WORKSPACE $NODE_NAME numerics numerics 0" } stage ('run mac') @@ -103,7 +103,7 @@ parallel ( stage ('build ubuntu') { - sh "./build.sh $WORKSPACE $NODE_NAME numerics 0" + sh "./build.sh $WORKSPACE $NODE_NAME numerics numerics 0" } stage ('run ubuntu') diff --git a/configure b/configure index 7956781ddf7d341d2fbf68cba179255ee4f251f6..4acb1024bd57c65458c7266021ab79072003f2ce 100755 --- a/configure +++ b/configure @@ -562,6 +562,12 @@ clean: install: \$(MAKE) -C build \$@ +pdata: + \$(MAKE) -C build \$@ + +numerics: + \$(MAKE) -C build \$@ + .PHONY: all clean install" > Makefile echo "$0 $@" > config.log