Searched refs:EASY_KNOBS (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/
H A Dgriddle29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
238 if ! [ -r "$EASY_KNOBS" ]
242 die "\"$EASY_KNOBS\" does not exist or is not readable;" \
302 die "$EASY_KNOBS:$CMAKE_LINENO: I don't know how to handle \"$LINE\""
305 done < "$EASY_KNOBS"
400 The file "$EASY_KNOBS" defines no basic configuration options for this project.
640 elif [ -e "$EASY_KNOBS" ]
645 REAL_EASY_KNOBS=$(realpath "$EASY_KNOBS")
654 die "impossible: \"$CMAKELISTS\" does not exist and \"$EASY_KNOBS\" does not either"
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle29 EASY_KNOBS="$SOURCE_ROOT"/easy-settings.cmake
238 if ! [ -r "$EASY_KNOBS" ]
242 die "\"$EASY_KNOBS\" does not exist or is not readable;" \
302 die "$EASY_KNOBS:$CMAKE_LINENO: I don't know how to handle \"$LINE\""
305 done < "$EASY_KNOBS"
400 The file "$EASY_KNOBS" defines no basic configuration options for this project.
640 elif [ -e "$EASY_KNOBS" ]
645 REAL_EASY_KNOBS=$(realpath "$EASY_KNOBS")
654 die "impossible: \"$CMAKELISTS\" does not exist and \"$EASY_KNOBS\" does not either"

Completed in 29 milliseconds