Files
2026-09-29 23:17:45 +02:00

12 lines
158 B
Bash
Executable File

#!/bin/sh
OS=$(uname -s | tr '[:upper:]' '[:lower:]')
if [ "$OS" = "linux" ]; then
MK_FILE="gmake.mk"
else
MK_FILE="bmake.mk"
fi
make -f "$MK_FILE" "$@"