diff options
| author |   Unit 193 <unit193@ubuntu.com> | 2019-01-11 00:39:40 -0500 |
|---|---|---|
| committer | Unit 193 <unit193@ubuntu.com> | 2019-01-11 00:39:40 -0500 |
| commit | 2bc1d458c109339e40c91b57a5182885a532a5e4 (patch) | |
| tree | 2adf7dd0e9f2de79a00a1852b994f2deb8627923 /genfstab.in | |
| parent | b262da15205ec5849764dabe590dbe1c7e703633 (diff) | |
| parent | cc216920a0867905b9110ef51bf29e576364b175 (diff) | |
Update upstream source from tag 'upstream/21'
Update to upstream version '21'
with Debian dir 06d55264e38e22db7c6ffa6f04f35323e5751e70
Diffstat (limited to 'genfstab.in')
| -rw-r--r-- | genfstab.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/genfstab.in b/genfstab.in index 0ebb831..3ff7a14 100644 --- a/genfstab.in +++ b/genfstab.in @@ -212,7 +212,7 @@ done while read -r device type _ _ prio; do options=defaults - if [[ $prio != -1 ]]; then + if (( prio >= 0 )); then options+=,pri=$prio fi |