bin/isabelle-process
changeset 33920 d4d430dfabc6
parent 32390 468eff174a77
child 34109 f49d45afa634
equal deleted inserted replaced
33919:3711139cffc3 33920:d4d430dfabc6
   179 
   179 
   180 ## output heap file
   180 ## output heap file
   181 
   181 
   182 case "$OUTPUT" in
   182 case "$OUTPUT" in
   183   "")
   183   "")
   184     [ -z "$READONLY" -a -w "$INFILE" ] && OUTFILE="$INFILE"
   184     if [ -z "$READONLY" -a -w "$INFILE" ]; then
       
   185       perl -e "exit (((stat('$INFILE'))[2] & 0222) != 0 ? 0 : 1);" && OUTFILE="$INFILE"
       
   186     fi
   185     ;;
   187     ;;
   186   */*)
   188   */*)
   187     OUTFILE="$OUTPUT"
   189     OUTFILE="$OUTPUT"
   188     ;;
   190     ;;
   189   *)
   191   *)