Searched refs:RAGEL_FILE (Results 1 – 2 of 2) sorted by relevance
35 for RAGEL_FILE in src/*.rl; do36 BUILT_HEADER="src/$(basename "$RAGEL_FILE" '.rl').hh"
40 for RAGEL_FILE in src/*.rl; do41 BUILT_HEADER="src/$(basename "$RAGEL_FILE" '.rl').hh"