From 84b235d3ddf7b7284ee8faad00d9d44fce23386e Mon Sep 17 00:00:00 2001 From: Jakob Hellermann Date: Fri, 26 Dec 2025 17:12:24 +0100 Subject: [PATCH] Fix invalid environment name escaping in Makefile This would print 'Error: this \ environment variable must be given' previously. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index e19832fdf..8dba41bee 100644 --- a/Makefile +++ b/Makefile @@ -286,7 +286,7 @@ test_osdk: check_vdso: @# Checking `VDSO_LIBRARY_DIR` environment variable @if [ -z "$(VDSO_LIBRARY_DIR)" ]; then \ - echo "Error: the \$(VDSO_LIBRARY_DIR) environment variable must be given."; \ + echo "Error: the VDSO_LIBRARY_DIR environment variable must be given."; \ echo " This variable points to a directory that provides Linux's vDSO files,"; \ echo " which is required to build Asterinas. Search for VDSO_LIBRARY_DIR"; \ echo " in Asterinas's Dockerfile for more information."; \