aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
-rw-r--r--conf.py7
2 files changed, 9 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index d1bba9a..54c4236 100644
--- a/Makefile
+++ b/Makefile
@@ -99,9 +99,12 @@ distclean_buildroot:
#######################################
-.conf.mk: conf.py
+.conf.mk: conf.py .target
scripts/confmk.py
+.target:
+ $(error Please select target by writing it to .target file)
+
parse_kconfig:
@if [ `$(MAKE) -C scripts/parse_kconfig/ -q; echo $$?` != "0" ]; then \
$(MAKE) -C scripts/parse_kconfig/; fi
diff --git a/conf.py b/conf.py
index b8204cb..eb8e7ac 100644
--- a/conf.py
+++ b/conf.py
@@ -1,4 +1,5 @@
import os
+import sys
import re
import importlib.machinery
@@ -126,6 +127,8 @@ if os.path.isfile(os.path.join(absroot, '.target')):
if not re.match('__*__', name):
vars()[name] = vars(ovconf)[name]
else:
- print("W: No target specifier. Write target to .target file.")
+ print("E: Invalid target specifier. Write valid target to .target file.")
+ sys.exit(-99)
else:
- print("W: No target specifier. Write target to .target file.")
+ print("E: No target specifier. Write target to .target file.")
+ sys.exit(-99)