Try gmake before make
[mplayer/kovensky.git] / build / clean
blob70176e703ceeb8cb218ea6c6041b867bd8b9770c
1 #!/usr/bin/env python
3 import os
4 from subprocess import check_call
5 from script.helpers import GitWrapper
7 def main():
8 git = GitWrapper()
9 check_call('rm -rf build_libs ffmpeg_build build-stamp configure-stamp'.split())
10 os.chdir('..')
11 check_call('git clean -x -d -f build/debian/'.split())
12 def cmd():
13 check_call('git clean -x -d -f'.split())
14 git.foreach_submodule(cmd)
15 os.chdir('..')
16 try:
17 check_call('gmake distclean'.split())
18 except:
19 check_call('make distclean'.split())
21 main()