Searched full:dirname (Results 1 – 5 of 5) sorted by relevance
63 …sed -i 's/find $DIRNAME/find $DIRNAME -not -path '*portable*'/g' main/tools/spell/find-unknown-com…161 TARGET_DIR=${TEMP_DIR}/`dirname ${SOURCE_FILE}`
27 PATCHES_DIR = os.path.dirname(os.path.abspath(__file__))
49 PROOFS_DIR = os.path.dirname(os.path.abspath(__file__))
40 pushd $(dirname ${proof});
236 os.chdir(os.path.dirname(sys.argv[0]))
