From f01fa6374e75873c07281284054a8136ef45a4ca Mon Sep 17 00:00:00 2001
From: Li BingMuyou <77159535+li6in9muyou@users.noreply.github.com>
Date: Sun, 7 May 2023 22:27:20 +0800
Subject: [PATCH] fix: PA5's Makefile needs same patch as PA4's

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 5f1a3de..be8ef2b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -84,7 +84,8 @@ RUN sed -i 's/-zx/-ozx/g' \
 #   d) be as non-invasive as possible to the existing assignment code
 RUN patch -u /usr/class/assignments/PA2/cool.flex -i /tmp/build/cool.flex.patch \
     && patch -u /usr/class/assignments/PA3/cool.y -i /tmp/build/cool.y.patch \
-    && patch -u /usr/class/assignments/PA4/Makefile -i /tmp/build/Makefile.patch
+    && patch -u /usr/class/assignments/PA4/Makefile -i /tmp/build/Makefile.patch \
+    && patch -u /usr/class/assignments/PA5/Makefile -i /tmp/build/Makefile.patch
 
 # Setup working directory
 RUN mkdir -p /class