# HG changeset patch
# User jbe
# Date 1545500357 -3600
# Node ID 5fe68ba5fe0efd25879869a09ab85b9d2967d476
# Parent  8c1aacea12104ee4aeea5154b8c9492a8a4bbe27
Raspbian support in Makefile

diff -r 8c1aacea1210 -r 5fe68ba5fe0e Makefile
--- a/Makefile	Thu Oct 04 14:30:20 2018 +0200
+++ b/Makefile	Sat Dec 22 18:39:17 2018 +0100
@@ -13,7 +13,7 @@
 .elif $(PLATFORM) == "Linux"
 # Distinguish between different Linux distributions
 DISTRIBUTION != lsb_release -i -s
-.if $(DISTRIBUTION) == "Debian"
+.if $(DISTRIBUTION) == "Debian" || $(DISTRIBUTION) == "Raspbian"
 # Default configuration for Debian
 LUA_INCLUDE ?= /usr/include/lua5.3
 LUA_LIBDIR  ?= /usr/lib