Searched refs:MFILE (Results 1 – 2 of 2) sorted by relevance
24 shift argv; set MFILE = $argv[1]; shift argv; breaksw64 if (! $?MFILE) then66 set MFILE = GNUmakefile68 set MFILE = makefile70 set MFILE = Makefile74 echo "DEBUG: MFILE = $MFILE"76 if (! -f $MFILE) then77 echo "Missing or invalid makefile: $MFILE"81 set LLVMDIR = `awk '/LEVEL[ ]*=/ {print $NF}' $MFILE`