Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Register
Sign in
Toggle navigation
Menu
OnGres Inc.
benchPlatform
Merge requests
!83
Fix SHELL variable
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Ghost User
requested to merge
fix_shell_makefile
into
master
Apr 16, 2019
Overview
0
Commits
1
Pipelines
0
Changes
2
Quick fix to add a SHELL=/bin/bash to Makefile, to prevent using /bin/sh (default in Ubuntu)