GitHub-Proxy/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2025-07-31 01:03:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

use provided $USER if available, let the caller do the update (safer)

Browse Source
This commit is contained in:
Thomas Capricelli 2009-10-04 03:35:02 +02:00
parent d040c9fc9e
commit 5f32088443
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
scripts/eigen_gen_docs
View File

@ -1,18 +1,17 @@
#!/bin/sh #!/bin/sh
# configuration # configuration
USER='orzel' # You should call this script with USER set as you want, else some default
# will be used
USER=${USER:-'orzel'}
# step 1 : update # step 1 : build
hg pull -u || (echo "update failed"; exit 1)
# step 2 : build
# todo if 'build is not there, create one: # todo if 'build is not there, create one:
#mkdir build #mkdir build
(cd build && cmake .. && make -j3 doc) || (echo "make failed"; exit 1) (cd build && cmake .. && make -j3 doc) || (echo "make failed"; exit 1)
#todo: n+1 where n = number of cpus #todo: n+1 where n = number of cpus
#step 3 : upload #step 2 : upload
BRANCH=`hg branch` BRANCH=`hg branch`
if [ $BRANCH == "default" ] if [ $BRANCH == "default" ]
then then