diff options
| author | Alexander <ilabdsf@gmail.com> | 2018-08-28 15:08:42 +0300 |
|---|---|---|
| committer | fiaxh <fiaxh@users.noreply.github.com> | 2018-08-28 14:08:42 +0200 |
| commit | 9e93a77a624aed24402cf1ece69c05aaa0aab600 (patch) | |
| tree | 2c5693698a66f69c255cbb43bc1c2b98424dd591 | |
| parent | 21e3f60cc45f689881b2d5370c30ff19a32b46be (diff) | |
| download | dino-9e93a77a624aed24402cf1ece69c05aaa0aab600.tar.gz dino-9e93a77a624aed24402cf1ece69c05aaa0aab600.zip | |
Fix indentation in ./configure script (#351)
Replace tabs with spaces for consistency.
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -130,8 +130,8 @@ while true; do # Ignore for autotools compat --host | --build ) shift; shift ;; --disable-dependency-tracking | --enable-dependency-tracking ) shift ;; - # Ignore for debian compat - --disable-silent-rules | --disable-maintainer-mode ) shift ;; + # Ignore for debian compat + --disable-silent-rules | --disable-maintainer-mode ) shift ;; -h | --help ) help; exit 0 ;; -- ) shift; break ;; * ) break ;; |