%!s(int64=11) %!d(string=hai) anos · b7a3574823
--- a/mic-configure
+++ b/mic-configure
@@ -109,6 +109,10 @@ check:
 
				 	\$(MAKE) -C build_host check
			
 
				 	\$(MAKE) -C build_mic check
			
 
				 
			
 
				+showcheck:
			
 
				+	\$(MAKE) -C build_host showcheck
			
 
				+	\$(MAKE) -C build_mic showcheck
			
 
				+
			
 
				 install:
			
 
				 	\$(MAKE) -C build_host install
			
 
				 	\$(MAKE) -C build_mic install