diff --git a/mk/ci.mk b/mk/ci.mk
index 1f09a9e7..24def081 100644
--- a/mk/ci.mk
+++ b/mk/ci.mk
@@ -16,9 +16,7 @@ ci-img: FORCE
 # The name of the target must match the name of the filesystem config file
 server desktop demo: FORCE
 	rm -f "build/$(ARCH)/$@/harddrive.img" "build/$(ARCH)/$@/livedisk.iso"
-	$(MAKE) CONFIG_NAME=$@ build/$(ARCH)/$@/repo.tag
-	$(MAKE) CONFIG_NAME=$@ build/$(ARCH)/$@/harddrive.img
-	$(MAKE) CONFIG_NAME=$@ build/$(ARCH)/$@/livedisk.iso
+	$(MAKE) CONFIG_NAME=$@ build/$(ARCH)/$@/harddrive.img build/$(ARCH)/$@/livedisk.iso
 	cp "build/$(ARCH)/$@/harddrive.img" "$(IMG_DIR)/redox_$(@)$(IMG_SEPARATOR)$(IMG_TAG)_harddrive.img"
 	cp "build/$(ARCH)/$@/livedisk.iso" "$(IMG_DIR)/redox_$(@)$(IMG_SEPARATOR)$(IMG_TAG)_livedisk.iso"