summaryrefslogtreecommitdiffstats
path: root/linux
diff options
context:
space:
mode:
authorimarom <imarom@cisco.com>2016-01-06 11:14:08 -0500
committerimarom <imarom@cisco.com>2016-01-07 04:52:14 -0500
commit72ca9e76d4c6a5fe48e8cd7e1e49b9e54e40fca9 (patch)
tree5506f556a6f39d539e4753f4e27d9eb14214a81a /linux
parent2dfd6cf68403a487ab612767601a0f2e33696921 (diff)
more options to the stateless simulation
Diffstat (limited to 'linux')
-rwxr-xr-xlinux/ws_main.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py
index 71914630..a41fab1e 100755
--- a/linux/ws_main.py
+++ b/linux/ws_main.py
@@ -257,6 +257,7 @@ bp =SrcGroups([
cxxflags_base =['-DWIN_UCODE_SIM',
+ '-DTREX_SIM',
'-D_BYTE_ORDER',
'-D_LITTLE_ENDIAN',
'-DLINUX',