tools/default@78744b7e6021
tools/default
Sat, 04 May 2024 19:10:03 +0200
- author
- Michiel Broek <mbroek@mbse.eu>
- date
- Sat, 04 May 2024 19:10:03 +0200
- changeset 727
- 78744b7e6021
- parent 639
-
276ee5b61348
- permissions
- -rw-r--r--
Different gettid() test
#
# Define default options for thermferm
#
THERMFERM_BIN="/usr/bin/thermferm"
# Use the next if running the simulator
#THERMFERM_BIN="/usr/bin/thermferm-sim"