diff -r 000000000000 -r 6474c204b198 media/webrtc/trunk/build/dir_exists.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/media/webrtc/trunk/build/dir_exists.py Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,15 @@ +#!/usr/bin/env python +# Copyright (c) 2011 The Chromium Authors. All rights reserved. +# Use of this source code is governed by a BSD-style license that can be +# found in the LICENSE file. +"""Writes True if the argument is a directory.""" + +import os.path +import sys + +def main(): + sys.stdout.write(str(os.path.isdir(sys.argv[1]))) + return 0 + +if __name__ == '__main__': + sys.exit(main())