diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/regress | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/regress b/util/regress index b17da8797..2ed2b6970 100755 --- a/util/regress +++ b/util/regress @@ -45,6 +45,7 @@ add_option('--builds', 'ALPHA_MOESI_CMP_directory,' \ 'ALPHA_MOESI_CMP_token,' \ 'MIPS,' \ + 'NULL,' \ 'POWER,' \ 'SPARC,' \ 'X86,X86_MESI_CMP_directory,' \ |