diff options
Diffstat (limited to 'Makefile.config')
| -rw-r--r-- | Makefile.config | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 45bd184152..b6c8255c75 100644 --- a/Makefile.config +++ b/Makefile.config @@ -102,6 +102,11 @@ PICO ?= pico PICO_FLAGS ?= -make -source 1.4 ############################################################################## +# Bootstrap compiler + +BOOTSTRAP_SCALAC ?= scalac + +############################################################################## # XSLT processor XSLTPROC ?= xsltproc |