变更IO驱动

hc

2023-08-29 185649640333407ac269f396d6adcc4b25bfb474

1
2
3
4
5
#!/bin/sh
 
# make would want to rebuild some files with a compiler otherwise :-/
make FLEX=/usr/bin/flex -t check-TESTS || true
make FLEX=/usr/bin/flex abs_builddir=./ check-TESTS