| 1234567891011121314151617 |
- #!/bin/bash
- set -e
- # Flex test script
- # Runs the flex test suite
- build_dir=$1
- echo "Running flex test suite..."
- # Change to source directory
- cd sources/flex
- echo "Executing make check..."
- make check
- echo "Tests completed successfully."
|
