diff options
author | Antonio García-Domínguez <nyoescape@gmail.com> | 2016-12-12 11:20:15 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-12 11:20:15 +0000 |
commit | 7e266a075ea31e5eaa43107c2249c9b1363d2622 (patch) | |
tree | 35bfefb10b10c51874828f94305e7247ee6c09f0 | |
parent | 00b6e8fedc28111cd8143f3e2f1c5e50de39c7a0 (diff) | |
parent | d998899fc6af5d947c44d3adfe8e850b1b119ece (diff) |
Merge pull request #41 from chepecarlos/master
Adding linux mint to the list
-rwxr-xr-x | prepare-videochat.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prepare-videochat.sh b/prepare-videochat.sh index d5d0f45..33ecbfa 100755 --- a/prepare-videochat.sh +++ b/prepare-videochat.sh @@ -317,6 +317,7 @@ GST_0_10_VIDEO_FORMAT=$GST_VIDEO_FORMAT if [ $DIST = "Debian" -a `echo "$RELEASE >= 8.0" | bc` -eq 1 ] ||\ [ $DIST = "Ubuntu" -a `echo "$RELEASE >= 14.04" | bc` -eq 1 ] ||\ + [ $DIST = "LinuxMint" -a `echo "$RELEASE >= 14.04" | bc` -eq 1 ] ||\ [ $DIST = "Arch" ] then GST_VER="1.0" |