no lua mre debug (#4110)

This commit is contained in:
Matthew Kennedy 2022-04-26 11:07:56 -07:00 committed by GitHub
parent a836f58c79
commit 74301f5278
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1,6 +1,6 @@
#!/bin/bash
export EXTRA_PARAMS="-DRAMDISK_INVALID"
export EXTRA_PARAMS="-DRAMDISK_INVALID -DEFI_LUA=FALSE"
export DEBUG_LEVEL_OPT="-O0 -ggdb -g"
# export USE_OPENBLT=yes