Searched refs:maintdir (Results 1 – 2 of 2) sorted by relevance
11 maintdir=`dirname $0`12 ${maintdir}/builddist ${PETSC_DIR} release SETVERSION
47 maintdir=os.path.join(os.path.join(os.path.dirname(thisscriptdir),'bin'),'maint') variable48 sys.path.insert(0,maintdir)