configure: fix `--enable-portable-binary' addition

This commit is contained in:
Matthew Flatt 2013-07-29 10:58:16 -06:00
parent bcc0b335a3
commit 895b8d2760
2 changed files with 2 additions and 2 deletions