diff options
| author | John Stebbins <[email protected]> | 2019-01-06 12:10:30 -0800 |
|---|---|---|
| committer | John Stebbins <[email protected]> | 2019-01-06 12:10:30 -0800 |
| commit | b09c99829c9412b05888eb7ac017d9b26166396c (patch) | |
| tree | 5d88ee71ade619f87c659e03afe736b728d7dba1 /make | |
| parent | 3c95342a8cdf5b3b03d8b5e94ec099b0bc6a4f35 (diff) | |
configure: fix LDProbe cleanup on mingw
LDProbe tries to delete conftest, but should delete conftest.exe on
mingw. So delete *both* in a try-catch block.
Diffstat (limited to 'make')
| -rw-r--r-- | make/configure.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/make/configure.py b/make/configure.py index b854ff6fe..1442f850e 100644 --- a/make/configure.py +++ b/make/configure.py @@ -396,7 +396,11 @@ class LDProbe( Action ): os.remove( 'conftest.c' ) if not self.fail: - os.remove( 'conftest' ) + try: + os.remove( 'conftest.exe' ) + os.remove( 'conftest' ) + except: + pass def _dumpSession( self, printf ): printf( ' + %s\n', self.command ) |