jyapayne/swig
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove ancient debian directory

Browse source 
It's not been touched since 2006, won't work with modern versions
of the debian packaging tools, and relies on a script which isn't
in git.  Debian packaging is maintained in a separate VCS by the
Debian maintainer.  Fixes #774, reported by Nico Schlömer.
This commit is contained in:
Olly Betts 2016-08-30 14:38:17 +12:00
commit 5e63738f75
10 changed files with 0 additions and 364 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Tools/mkdist.py
View file

@ -78,10 +78,6 @@ outdir = os.path.basename(os.getcwd()) + "/" + dirname + "/"
print "Grabbing tagged release git repository using 'git archive' into " + outdir
os.system("(cd .. && git archive --prefix=" + outdir + " " + tag + " . | tar -xf -)") == 0 or failed()
# Remove the debian directory -- it's not official
os.system("rm -Rf "+dirname+"/debian") == 0 or failed()
# Go build the system
print "Building system"