1. Vedran Miletić
  2. beamer
  3. Issues
Issue #289 wontfix

Makefile in root directory is not always working

Dušan Plavák
created an issue

command pushd used in Makefile is working only for bash, if somebody is using sh then the make will run forever...

The solution is add at start of Makefile: SHELL = /bin/bash

see attached patch file

Comments (1)

  1. Log in to comment