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"

mercurial