diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 6e977467..b6865f0c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -680,7 +680,7 @@ ifneq "$(SYS)" "Darwin" endif -$(MAKE) -C utils/libdislocator -$(MAKE) -C utils/libtokencap - # $(MAKE) -C utils/plot_ui + # -$(MAKE) -C utils/plot_ui ifeq "$(SYS)" "Linux" ifndef NO_NYX -cd nyx_mode && ./build_nyx_support.sh |