Loading Documentation/fetch-outputsdeleted 100755 → 0 +0 −12 Original line number Diff line number Diff line #!/bin/bash OUTPUTS_PATH=../Release/src/Examples DOC_ROOT_DIR=`pwd` echo $DOC_ROOT_DIR mkdir Outputs find $OUTPUTS_PATH -name "*.out" -exec echo '{}' Outputs/'{}' \; Loading
Documentation/fetch-outputsdeleted 100755 → 0 +0 −12 Original line number Diff line number Diff line #!/bin/bash OUTPUTS_PATH=../Release/src/Examples DOC_ROOT_DIR=`pwd` echo $DOC_ROOT_DIR mkdir Outputs find $OUTPUTS_PATH -name "*.out" -exec echo '{}' Outputs/'{}' \;
