Fix installation for linux finding ID:fedora in os_release

2018-08-27 19:56:02 +02:00 · 2018-08-27 19:56:02 +02:00 · e9a67f8fde
parent 265eca0f7c
commit e9a67f8fde
1 changed files with 1 additions and 1 deletions
--- a/util/linux_install.sh
+++ b/util/linux_install.sh
@ -1,5 +1,5 @@
 #!/bin/sh
-if grep ID /etc/os-release | grep -q rhel; then
+if grep ID /etc/os-release | grep -qE "rhel|fedora"; then
 	# RPM based OS
 	sudo dnf install gcc unzip wget zip dfu-util dfu-programmer avr-gcc \
 	    avr-libc binutils-avr32-linux-gnu arm-none-eabi-gcc-cs \