#!/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."
