diff options
Diffstat (limited to 'src/mem/protocol/SConscript')
| -rw-r--r-- | src/mem/protocol/SConscript | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/mem/protocol/SConscript b/src/mem/protocol/SConscript index 8d9ebf3b1..2c29ea374 100644 --- a/src/mem/protocol/SConscript +++ b/src/mem/protocol/SConscript @@ -87,8 +87,11 @@ def slicc_emitter(target, source, env): print "SLICC writing C++ files..." slicc.writeCodeFiles(pdir) - print "SLICC writing HTML files..." - slicc.writeHTMLFiles(hdir) + if env['NO_HTML']: + print "skipping HTML file creation" + else: + print "SLICC writing HTML files..." + slicc.writeHTMLFiles(hdir) return target, source def slicc_action(target, source, env): @@ -114,8 +117,11 @@ def slicc_action(target, source, env): print "SLICC writing C++ files..." slicc.writeCodeFiles(pdir) - print "SLICC writing HTML files..." - slicc.writeHTMLFiles(hdir) + if env['NO_HTML']: + print "skipping HTML file creation" + else: + print "SLICC writing HTML files..." + slicc.writeHTMLFiles(hdir) slicc_builder = Builder(action=slicc_action, emitter=slicc_emitter) |