Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Adding it to fix this error in the DPG tester: ``` /sw/slc9_x86-64/O2/1816-slc9_x86-64-local1/share/scripts/jobutils.sh: line 156: /usr/bin/time: No such file or directory ``` @swenzel: [we use the binary over the shell buiting because] It provides more information. As a gnu tool it's also platform independent
- Loading branch information