Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@val314159
Last active October 20, 2018 00:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save val314159/1541f79ac7ab196c5c8551c62212360d to your computer and use it in GitHub Desktop.
Save val314159/1541f79ac7ab196c5c8551c62212360d to your computer and use it in GitHub Desktop.
make utility
#!/usr/bin/env python
import os, sys
while 1:
if 'Makefile' in os.listdir('.'):
os.execlp('make', *sys.argv)
elif os.path.realpath('.') == '/':
raise SystemExit("Error: '%s' Not Found" % Makefile)
os.chdir('..')
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment