diff options
Diffstat (limited to 'meta/recipes-devtools/flex/flex/run-ptest')
-rwxr-xr-x | meta/recipes-devtools/flex/flex/run-ptest | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/meta/recipes-devtools/flex/flex/run-ptest b/meta/recipes-devtools/flex/flex/run-ptest new file mode 100755 index 0000000000..19db337900 --- /dev/null +++ b/meta/recipes-devtools/flex/flex/run-ptest | |||
@@ -0,0 +1,5 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | # make would want to rebuild some files with a compiler otherwise :-/ | ||
4 | make FLEX=/usr/bin/flex -t check-TESTS || true | ||
5 | make FLEX=/usr/bin/flex check-TESTS | ||