| Index: src/trusted/validator_arm/build.scons
|
| ===================================================================
|
| --- src/trusted/validator_arm/build.scons (revision 9791)
|
| +++ src/trusted/validator_arm/build.scons (working copy)
|
| @@ -121,7 +121,7 @@
|
| # Adds the (NEON) turned off tables to the list of generator command
|
| # line arguments.
|
| if TURNED_OFF_TABLES:
|
| - GEN_CL_ARGS += GEN_CL_ARGS + ''.join(
|
| + GEN_CL_ARGS = GEN_CL_ARGS + ''.join(
|
| [' --table_remove=' + tbl for tbl in TURNED_OFF_TABLES])
|
|
|
| generate = False
|
|
|