Searched refs:MFILE (Results 1 – 1 of 1) 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`