diff options
author | 2016-01-07 23:58:22 +0200 | |
---|---|---|
committer | 2016-01-07 23:58:22 +0200 | |
commit | 8db09096b9dcf030b7dc744fbd7ee463d8e6fd1b (patch) | |
tree | 8de1422ac003e403889b2b248009431aa1176dd3 /linux/ws_main.py | |
parent | 7e37a0aabbd351aa899bf7bdb2327eaa61733095 (diff) | |
parent | 79b2a5ea59c3b420988891b9f3751579bfbe8e0e (diff) |
Merge
Diffstat (limited to 'linux/ws_main.py')
-rwxr-xr-x | linux/ws_main.py | 1 |
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', |