Skip to content
Snippets Groups Projects

Update main to current release

Merged Update main to current release
rel_v0.1.0 into main
Merged Matthew K Defenderfer requested to merge rel_v0.1.0 into main
Compare
and
1 file
+ 1
− 0
Compare changes
  • Side-by-side
  • Inline
src/run-policy/submit-pol-job
+ 1
− 0
@@ -108,6 +108,7 @@ if [[ -z "$device" ]]; then
@@ -108,6 +108,7 @@ if [[ -z "$device" ]]; then
fi
fi
slurm_out="out/pol-%A-$(basename ${policy})-$(basename ${device}).out"
slurm_out="out/pol-%A-$(basename ${policy})-$(basename ${device}).out"
 
mkdir -p out
DIR=$outdir POLICYFILE=$policy FILESYSTEM=${device} OUTFILE=${outfile} && \
DIR=$outdir POLICYFILE=$policy FILESYSTEM=${device} OUTFILE=${outfile} && \
DIR=$DIR POLICYFILE=$POLICYFILE FILESYSTEM=${FILESYSTEM} OUTFILE=${OUTFILE} \
DIR=$DIR POLICYFILE=$POLICYFILE FILESYSTEM=${FILESYSTEM} OUTFILE=${OUTFILE} \