diff options
author | 2016-03-15 18:45:27 -0800 | |
---|---|---|
committer | 2016-03-16 16:20:04 -0700 | |
commit | 9a4878cc17d4039939e8df5a2a984cca8028baeb (patch) | |
tree | d58e341fe594a245a24539c8c37e61d67dcd93e2 /third_party/gpus/cuda | |
parent | fdc6752cda33e8d5879e4db68093eca7d7395988 (diff) |
Rollback of: "Merge changes from github."
Change: 117304114
Diffstat (limited to 'third_party/gpus/cuda')
-rwxr-xr-x | third_party/gpus/cuda/cuda_config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/gpus/cuda/cuda_config.sh b/third_party/gpus/cuda/cuda_config.sh index 651e5ae031..42cd254644 100755 --- a/third_party/gpus/cuda/cuda_config.sh +++ b/third_party/gpus/cuda/cuda_config.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash # Copyright 2015 Google Inc. All Rights Reserved. # # Licensed under the Apache License, Version 2.0 (the "License"); |