diff options
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index 1e28f68b5c..67ca17f204 100644 --- a/Makefile.common +++ b/Makefile.common @@ -153,6 +153,7 @@ endif BURG := $(TOOLCURRENT)/burg RunBurg := $(BURG) $(BURG_OPTS) +TBLGEN := $(TOOLCURRENT)/tblgen # Enable this for profiling support with 'gprof' # This automatically enables optimized builds. |