build: Fix PROD flags confusion

jinx-config

@@ -139,3 +139,5 @@ if [ "$in_container" = true ]; then
     mkdir -p "${VMODULES}"/cache
     mkdir -p /tmp/v_$(id -u)
 fi
+
+PROD=true

jinx-config-debug

@@ -1,3 +1,4 @@
 . ${base_dir}/jinx-config
-export VINIX_PROD=no
-export CFLAGS="$CFLAGS -g"
+
+PROD=false
+CFLAGS="$CFLAGS -g"

kernel/GNUmakefile

@@ -46,7 +46,7 @@ $(call USER_VARIABLE,VFLAGS,)
 # User controllable linker flags. We set none by default.
 $(call USER_VARIABLE,LDFLAGS,)
 
-$(call USER_VARIABLE,VINIX_PROD,)
+$(call USER_VARIABLE,PROD,)
 
 # Ensure the dependencies have been obtained.
 ifneq ($(shell ( test '$(MAKECMDGOALS)' = clean || test '$(MAKECMDGOALS)' = distclean ); echo $$?),0)
@@ -123,7 +123,7 @@ override VFLAGS += \
     -gc none \
     -d no_backtrace
 
-ifeq ($(VINIX_PROD),no)
+ifeq ($(PROD),false)
     override VFLAGS += -warn-about-allocs
 else
     override VFLAGS += -prod

recipes/kernel

@@ -17,6 +17,7 @@ build() {
     cp -rpf "${source_dir}"/. ./
 
     make -j${parallelism} \
+        PROD="$PROD" \
         CC=${OS_TRIPLET}-gcc \
         LD=${OS_TRIPLET}-ld \
         AR=${OS_TRIPLET}-ar \

recipes/util-vinix

@@ -11,6 +11,7 @@ build() {
     cp -rp "${source_dir}"/. ./
 
     make -j${parallelism} \
+        PROD="$PROD" \
         CC=${OS_TRIPLET}-gcc \
         VFLAGS="-os vinix -gc none" \
         CFLAGS="$TARGET_CFLAGS" \

util-vinix/GNUmakefile

@@ -10,21 +10,16 @@ override USER_VARIABLE = $(if $(filter $(origin $(1)),default undefined),$(eval
 $(call USER_VARIABLE,CC,cc)
 $(call USER_VARIABLE,V,v)
 
-VINIX_PROD ?=
-ifeq ($(VINIX_PROD),no)
-    override PROD := false
-else
-    override PROD := true
-endif
-
 $(call USER_VARIABLE,VFLAGS,)
 $(call USER_VARIABLE,CFLAGS,-g -O2 -pipe)
 $(call USER_VARIABLE,LDFLAGS,)
 
 $(call USER_VARIABLE,DESTDIR,)
 $(call USER_VARIABLE,PREFIX,/usr/local)
 
-ifeq ($(PROD), true)
+$(call USER_VARIABLE,PROD,)
+
+ifeq ($(PROD),true)
 	override VFLAGS += -prod
 endif