Commit 1e184010 authored by ulrich_y's avatar ulrich_y
Browse files

Added userfile tracking to pymule

parent 09009ee6
......@@ -189,6 +189,14 @@ else
echo " $patchpath ($patchsize byte > $csize)"
echo "with the differences to `git rev-parse --short HEAD`."
if test -f "user.f95"; then
userpath=`dirname $this`/user-`git rev-parse --short HEAD`-${SLURM_JOB_ID}.f95.gz
cat user.f95 | gzip > $userpath
echo "I have create a copy of the user file at $userpath"
echo "Warning! I cannot find the user file, no self-tracking"
time {
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment