X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fcheck-structs;h=536045fe479c47a896a9988669d89dd32c0d5b99;hb=f632c8fc817ff5597007a795b51574bddd32563a;hp=f582e2bd7ba53cb28f6928d3688d987ef6130fef;hpb=fba473391b92b6f2ce33a0acd68920941cb47b03;p=openvswitch diff --git a/build-aux/check-structs b/build-aux/check-structs index f582e2bd..536045fe 100755 --- a/build-aux/check-structs +++ b/build-aux/check-structs @@ -1,5 +1,6 @@ #! /usr/bin/python +import os.path import sys import re @@ -193,10 +194,7 @@ def checkStructs(): sys.exit(1) if '--help' in sys.argv: - argv0 = sys.argv[0] - slash = argv0.rfind('/') - if slash: - argv0 = argv0[slash + 1:] + argv0 = os.path.basename(sys.argv[0]) print '''\ %(argv0)s, for checking struct and struct member alignment usage: %(argv0)s HEADER [HEADER]...