update for linux build

This commit is contained in:
Bassem Girgis
2019-08-10 17:57:48 -05:00
parent c8a2de4c4d
commit 724b4a3eb1
5 changed files with 8 additions and 8 deletions