Revise makefile structure.

[pintos-anon] / src / tests / userprog / halt.c

/* halt.c

   Simple program to test whether running a user program works.
        
   Just invokes a system call that shuts down the OS. */

#include <syscall.h>

int
main (void)
{
  halt ();
  /* not reached */
}