add quotes around 'make' command

AtalGupta · Dec 15, 2021 · 00ac3be · 00ac3be
1 parent cfbb07a
commit 00ac3be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -16,7 +16,7 @@ install: encoding.out.h inst.chisel instr-table.tex priv-instr-table.tex
 
 encoding.out.h: $(ALL_OPCODES) parse_opcodes encoding.h
 	echo "/*" > $@
-	echo " * This file is auto-generated by running make in" >> $@
+	echo " * This file is auto-generated by running 'make' in" >> $@
 	echo " * https://github.com/riscv/riscv-opcodes (`git log -1 --format="format:%h"`)" >> $@
 	echo " */" >> $@
 	echo >> $@