File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change 4343# ## somebody smart could peek into the .tgz. ... MEH
4444if [ -d " $EXTRACTED_AS " ]; then rm -r " $EXTRACTED_AS " ; fi
4545tar xzf " $LOCAL "
46- pushd " $EXTRACTED_AS "
46+ pushd " $EXTRACTED_AS " > /dev/null
4747 mkdir build
48- pushd build
48+ pushd build > /dev/null
4949 cmake --version >&2
50- cmake -DCMARK_TESTS=OFF -DCMARK_STATIC=OFF ..
51- make
52- popd
50+ {
51+ cmake -DCMARK_TESTS=OFF -DCMARK_STATIC=OFF ..
52+ make
53+ } > build.log
54+ popd > /dev/null
5355
5456 mkdir lib
5557 cp -Pp build/src/lib* lib/
5658 cp -Pp build/extensions/lib* lib/
57- popd
59+ popd > /dev/null
5860
5961# These files/dir may need a reference with LD_LIBRARY_PATH.
6062# gfm.py wants this lib/ in LIBCMARKDIR.
61- ls -laF " $EXTRACTED_AS /lib/"
63+ # ls -laF "$EXTRACTED_AS/lib/"
6264
6365# Provide a handy line for copy/paste.
6466echo " export LIBCMARKDIR='$( pwd) /$EXTRACTED_AS /lib'"
You can’t perform that action at this time.
0 commit comments