Changeset 13887
- Timestamp:
- 2020-11-26T15:40:41+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
utils/CI/sette/sette.sh
r13790 r13887 3 3 SETTE_DIR=$(cd $(dirname "$0"); pwd) 4 4 MAIN_DIR=$(dirname $SETTE_DIR) 5 export SETTE_TIMING='no' 5 6 6 7 # Parse command-line arguments
Note: See TracChangeset
for help on using the changeset viewer.