Changeset 3709


Ignore:
Timestamp:
May 9, 2018, 6:33:14 PM (6 months ago)
Author:
bruno
Message:

mindi now logs the value of MINDI_TMP

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/3.3/mindi/mindi

    r3705 r3709  
    34303430        MINDI_CACHE=$3
    34313431        LogFile "MINDI_CACHE = $MINDI_CACHE"
     3432        LogFile "MINDI_TMP = $MINDI_TMP"
    34323433
    34333434        kernelpath=$4; [ "$kernelpath" = "(null)" ] && kernelpath=""
Note: See TracChangeset for help on using the changeset viewer.