mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-29 08:42:18 +01:00
9 lines
211 B
Python
9 lines
211 B
Python
|
|
import os
|
|
import glob
|
|
|
|
def insert( env , options ):
|
|
jslibPaths = glob.glob('/usr/include/js-*/')
|
|
if len(jslibPaths) >= 1:
|
|
jslibPath = jslibPaths.pop()
|
|
env.Append( CPPPATH=[ jslibPath ] ) |