[HAWQ-1563] Adapt to run Makefile in /bin/sh

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.3.0.0-incubating
• Component/s: PXF
• Assignee: Alexander Denissov
• Reporter: Larry Hamel
• Created: 04/Dec/17 21:54
• Updated: 05/Dec/17 00:33
• Resolved: 05/Dec/17 00:27

Description

• Since each line of Makefile runs in its own shell, pushd and popd are not necessary
• Also, pushd is not supported in /bin/sh, default shell in Ubuntu

Issue Links

• links to: GitHub PR #1319
• links to: GitHub Pull Request #1319