16 lines
447 B
Bash
16 lines
447 B
Bash
#!/usr/bin/env bash
|
|
set -eo pipefail
|
|
|
|
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
ROOT_DIR="$(cd "$SCRIPT_DIR/.." && pwd)"
|
|
|
|
echo "=== Linting ucode files in $ROOT_DIR ==="
|
|
|
|
find "$ROOT_DIR/tachyon/files/usr/lib" -name "*.uc" -print0 | while IFS= read -r -d '' file; do
|
|
echo "Checking: ${file#$ROOT_DIR/}"
|
|
ucode -c "$file" -o /dev/null
|
|
ucode -S -c "$file" -o /dev/null
|
|
done
|
|
|
|
echo "All ucode files compiled successfully."
|