Home
last modified time | relevance | path

Searched refs:saved_jobs (Results 1 – 1 of 1) sorted by relevance

/petsc/lib/petsc/bin/maint/
H A Drunjobs.py63 saved_jobs = sorted(set((ci.splitlines()[1]).split()[2:])) variable
64 if ('-f' in saved_jobs): saved_jobs.remove('-f')
65 if (saved_jobs == jobs):