diff --git a/tools/pic32/Config.mk b/tools/pic32/Config.mk
index a16519b7ab5..facfac8daad 100644
--- a/tools/pic32/Config.mk
+++ b/tools/pic32/Config.mk
@@ -28,11 +28,9 @@
 ifeq ($(CONFIG_INTELHEX_BINARY),y)
 
 define POSTBUILD
-	$(Q)echo "Converting the hex file"; 
+	$(Q)echo "Converting the hex file"
 
-	$(Q) if [ ! -f "tools/pic32/mkpichex" ] ; then \
-		$(MAKE) -C $(TOPDIR)$(DELIM)tools$(DELIM)pic32 -f Makefile.host; \
-	fi
+	+$(Q) $(MAKE) -C $(TOPDIR)$(DELIM)tools$(DELIM)pic32 -f Makefile.host
 	tools$(DELIM)pic32$(DELIM)mkpichex$(HOSTEXEEXT) $(PWD)
 	$(Q)([ $$? -eq 0 ] && echo "Done.")
 endef
diff --git a/tools/pic32/Makefile.host b/tools/pic32/Makefile.host
index 5780f8c1ca9..718e1e53acb 100644
--- a/tools/pic32/Makefile.host
+++ b/tools/pic32/Makefile.host
@@ -28,7 +28,7 @@ CFLAGS = -O2 -Wall -I.
 
 # mkpichex - Convert virtual addresses in nuttx.hex to physical addresses
 
-mkconfig: mkpichex.c mkpichex.c
+mkpichex: mkpichex.c
 	@gcc $(CFLAGS) -o mkpichex mkpichex.c
 
 clean: