hanez/fun
1
0
Fork 0
forked from fun/fun
Code Pull requests Activity

Throw error if -DFUN_WITH_INI=ON is not set at build time. (0.37.41)

Browse source
This commit is contained in:
Johannes Findeisen 2026-01-03 01:11:35 +01:00
commit 2a20b6f01a
4 changed files with 120 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

15
scripts/run_examples.sh
View file

@ -69,16 +69,23 @@ fi
rc=0
for f in "${files[@]}"; do
base_name="$(basename "$f")"
# If INI support is disabled, skip INI examples to avoid expected failures
if [[ "${FUN_WITH_INI:-}" =~ ^(0|OFF|off|false|False)$ ]]; then
if [[ "$base_name" == ini_*.fun ]]; then
echo "=== Skipping (INI disabled): examples/$base_name ==="
continue
fi
fi
echo "=== Running: ${f#$ROOT/} ==="
if ! "$BIN" "$f"; then
echo "FAILED: ${f#$ROOT/}"
base="$(basename "$f")"
dest="$EX_DIR/error/$base"
dest="$EX_DIR/error/$base_name"
# Move the failing example to the error folder
if mv -f "$f" "$dest"; then
echo "Moved to: examples/error/$base"
echo "Moved to: examples/error/$base_name"
else
echo "warning: failed to move $base to examples/error/" >&2
echo "warning: failed to move $base_name to examples/error/" >&2
fi
rc=1
fi