X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fnull.S;h=ded0e5954935a595cfd12fc64217ea0d9f0f2766;hb=49f91ea15da93b7df4b946d42c70e09e740f3c06;hp=e4f7e3af016d2d7638a131dbcd4b891335d8fa0d;hpb=fac66eca0db7c89882f17c7d58a9b37e4293478c;p=pintos-anon

diff --git a/grading/userprog/null.S b/grading/userprog/null.S
index e4f7e3a..ded0e59 100644
--- a/grading/userprog/null.S
+++ b/grading/userprog/null.S
@@ -1,3 +1,5 @@
-	.globl _start
+.globl _start
+.func _start
 _start:		
 	int $0x30
+.endfunc