Searched refs:DESIRED_VERSION (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/seL4/misc/ | ||
H A D | style-cmake.sh | 27 DESIRED_VERSION=0.4.5 34 ($DESIRED_VERSION) 38 echo "$PROGNAME: fatal error: need version $DESIRED_VERSION of" \ |
Completed in 71 milliseconds