diff options
Diffstat (limited to 'main/boost/random-Jamfile')
-rw-r--r-- | main/boost/random-Jamfile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/main/boost/random-Jamfile b/main/boost/random-Jamfile deleted file mode 100644 index 5cb6f6bcd9..0000000000 --- a/main/boost/random-Jamfile +++ /dev/null @@ -1,15 +0,0 @@ -# Copyright (c) 2006 Tiziano Mueller -# -# Use, modification and distribution of the file is subject to the -# Boost Software License, Version 1.0. -# (See at http://www.boost.org/LICENSE_1_0.txt) - - -project boost/random - : source-location ../ ; - -SOURCES = random_device ; - -lib boost_random - : $(SOURCES).cpp - : <link>shared:<define>BOOST_RANDOM_DYN_LINK=1 ; |