Merge pull request #3984 from deitch/fix-dev-nul

use proper null in script and not mispelled nul
This commit is contained in:
Avi Deitcher 2024-02-18 05:03:56 -08:00 committed by GitHub
commit 0895d146d4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -208,7 +208,7 @@ buildtool-%: getbuilder
$(eval TARGETIMAGE=$(call toolimagehash,$*))
$(eval KERNELIMAGE=$(call toolkernelimage,$*))
$(eval TOOL=$(call toolname,$*))
([ -z "$(FORCE)" ] && docker manifest inspect $(TARGETIMAGE) >/dev/nul 2>&1) || \
([ -z "$(FORCE)" ] && docker manifest inspect $(TARGETIMAGE) >/dev/null 2>&1) || \
docker build -f Dockerfile.$(TOOL) \
$(BUILDER_ARG) \
--platform linux/$(BUILDERARCH) \