tree bf6a6156daec598e843bb991bc0f7e5fb9c74b7d
parent 29b9b7470cc33c2b7c4264f254335d788ef04c26
author Stefan Becker <stefanb@gpartner-nvidia.com> 1460024976 +0300
committer Stefan Becker <stefanb@gpartner-nvidia.com> 1460453506 +0300

[C++] Store SHELL value in command result

$(shell ...) command lines are executed using $(SHELL). We need to use
the same shell during regeneration check instead of hard-coding /bin/sh
or otherwise the results might be different when $(SHELL) is redefined
in the makefile.

Fixes https://github.com/google/kati/issues/53

Change-Id: I1f9809106f29f7e806324a82e2323a2f8df64b63