Makefile: use bash

author Martin Mares <mj@ucw.cz>

Wed, 5 Mar 2014 12:55:26 +0000 (13:55 +0100)

committer Martin Mares <mj@ucw.cz>

Sun, 15 Feb 2015 16:58:46 +0000 (17:58 +0100)
author Martin Mares <mj@ucw.cz>
Wed, 5 Mar 2014 12:55:26 +0000 (13:55 +0100)
committer Martin Mares <mj@ucw.cz>
Sun, 15 Feb 2015 16:58:46 +0000 (17:58 +0100)
diff --git a/mff/diplomky/slides/Makefile b/mff/diplomky/slides/Makefile

index bb47ea4dbc749626d68aef2e780ba1a4dacc94e5..bd4a1008f48ca2e954b4f804e0192da2d71173ce 100644 (file)
--- a/mff/diplomky/slides/Makefile
+++ b/mff/diplomky/slides/Makefile
@@ -1,3 +1,5 @@
+SHELL=/bin/bash
+
  all: bcintro.pdf
  
  bcintro.pdf: bcintro.tex
author	Martin Mares <mj@ucw.cz>
	Wed, 5 Mar 2014 12:55:26 +0000 (13:55 +0100)
committer	Martin Mares <mj@ucw.cz>
	Sun, 15 Feb 2015 16:58:46 +0000 (17:58 +0100)