default option files: disable the resume feature

no ~/.dune.resume anymore

git-svn-id: svn://svn.iws.uni-stuttgart.de/DUMUX/dumux/trunk@6740 2fb0f335-1f38-0410-981e-8018bf24f1b0

debug.opts

@@ -17,6 +17,9 @@ GXX_OPTS=" \
     -fstrict-overflow \
     -g"
 
+# do not write a file .dune.resume to the home directory
+RESUME_FILE=/dev/null
+
 CONFIGURE_FLAGS="\
   CXXFLAGS=\"$GXX_WARNING_OPTS $GXX_OPTS\" \
   --enable-documentation \

optim.opts

@@ -18,6 +18,9 @@ GXX_OPTS=" \
     -march=native \
     -DNDEBUG=1"
 
+# do not write a file .dune.resume to the home directory
+RESUME_FILE=/dev/null
+
 # configure flags 
 CONFIGURE_FLAGS=" \
   CXXFLAGS=\"$GXX_WARNING_OPTS $GXX_OPTS\" \