diff --git a/Makefile.rkt b/Makefile.rkt index 7bf01e7..7e032da 100644 --- a/Makefile.rkt +++ b/Makefile.rkt @@ -39,3 +39,8 @@ (deps housekeeping) (displayln "Switching to x86_64-linux") (dgit 'switch "x86_64-linux")) + +(target linux + (deps linux-x86_64)) + +